Do Logical Truths Carry Information?
ثبت نشده
چکیده
The paper deals with the question whether logical truth carry information. On the one hand it seems that we gain new information by drawing inferences or arriving at some theorems. On the other hand the formal accounts of information and information content which are most widely known today say that logical truth carry no information at all. The latter is shown by considering these accounts. Then several ways to deal with the dilemma are distinguished, especially syntactic and ontological solutions. A version of a syntactical solution is favoured.
منابع مشابه
Logical and Analytic Truths That Are Not Necessary∗
The notions of logical truth, analytic truth, and necessary truth are extremely important in philosophy. A logically true sentence remains true no matter what the interpretation of the nonlogical constants. An analytically true sentence is true in virtue of the meanings of its words. Necessarily true sentences are true in all possible worlds. The concepts involved in these definitions are centr...
متن کاملA Defense of Contingent Logical Truths∗
A formula is a contingent logical truth when it is true in every model M but, for some model M , false at some world of M . We argue that there are such truths, given the logic of actuality. Our argument turns on defending Tarski’s definition of truth and logical truth, extended so as to apply to modal languages with an actuality operator. We argue that this extension is the philosophically pro...
متن کاملThe Vicious Triangle of a Priori Truth, Contingent Truth, and Logical Truth
In this paper, I argue against the view there are contingent a priori truths, and against the related view that there are contingent logical truths. I will suggest that in general, predicates ›a priori‹ and ›contingent‹ are implicitly relativized to circumstances, and argue that apriority entails necessity, whenever the two are relativized to the same circumstance. I will then criticize the ide...
متن کاملModal Truths from an Analytic-Synthetic Kantian Distinction
In the article of 1965 Are logical truths analytic? Hintikka deals with the problem of establishing whether the logical truths of first-order logic are analytic or synthetic. In order to provide an answer to this issue, Hintikka firstly distinguishes two different notions of analyticity, and then he shows that the sentences of first-order logic are analytic in one sense, but synthetic in anothe...
متن کاملArithmetical Knowledge and Arithmetical Definability: Four Studies
by Sean Walsh The subject of this dissertation is arithmetical knowledge and arithmetical definability. The first two chapters contain respectively a critique of a logicist account of a preferred means by which we may legitimately infer to arithmetical truths and a tentative defense of an empiricist account. According to the logicist account, one may infer from quasi-logical truths to patently ...
متن کامل